D 4 . 2 : Reasoning Engine Version 1 and State of the Art in Reasoning Techniques

for dissemination): This document describe the first version of the reasoning engine used in the BOEMIE project. Introducing representation and reasoning techniques relevant for the research issues and application issues of the BOEMIE project, the report also provide an overview about the state-of-the-art in reasoning technology based on description logics and related fields. This document may not be copied, reproduced, or modified in whole or in part for any purpose, without written permission from the BOEMIE consortium. In addition to such written permission to copy, reproduce, or modify this document in whole or part, an acknowledgement of the authors of the document and all applicable portions of the copyright notice must be clearly referenced. All rights reserved. This document may change without prior notice.